We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...) iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

Pocos otros temas despiertan más polémicas que el de los vínculos entre filosofía y política: que quienes se dedican a la filosofía no deben verse influenciados por la política, que si a la política le corresponde ser auxiliada por la filosofía, que si el saber filosófico tiene que desligarse de las posiciones políticas, que si a las instituciones académicas de las humanidades les conviene independizarse del poder de turno, etc. Todas estas son discusiones que heredamos (no sin reformularlas y, por (...) lo tanto, retransformarlas) desde la Antigüedad, en la que ya aparecería, de la mano de Platón, la figura del rey filósofo. Este libro reúne una variedad de abordajes que atraviesan debates sobre juicios de hecho y de valor, sobre la democra-cia como forma de gobierno y sobre la intervención de la historia en el vínculo de la filosofía y la política. Recuperando el pensamiento antiguo y moderno, pero concentrándose en la obra de intelectuales contemporáneos, los autores ponen en movimiento dilucidaciones de grandes como Max Weber, Jacques Rancière, Louis Althusser, Philippe Lacoue-Labarthe y Leo Strauss, entre otros. Así, ofrecen aquí un vívido panorama de las controversias que habitan los entrecruzamientos entre filosofía y política, coronando el volumen con la traducción de un texto de Claude Lefort, hasta el momento inédito en español. (shrink)

The manner in which the European views the African coloured their perception of our life, culture and history. Even when they try to sympathize with us, they cannot still get out of the consciousness of them being superior than the African. Mudimbe V. Y does an analysis of the history of this European attitude.

(CONTENIDO: LA FILOSOFÍA DE ALTHUSSER A 50 AÑOS DE LIRE LE CAPITAL Pedro Karczmarczyk, 3; DISCURSO Y DECRETO: SPINOZA ALTHUSSER Y PÊCHEUX Warren Montag 11; ALTHUSSER LECTOR DE GRAMSCI Vittorio Morfino 43 LAS ABSTRACCIONES, ENTRE LA IDEOLOGÍA Y LA CIENCIA João Quartim de Moraes 67 ELOGIO DEL TEORICISMO. PRÁCTICA TEÓRICA E INCONSCIENTE FILOSÓFICO EN LA PROBLEMÁTICA ALTHUSSERIANA, Natalia Romé 85 MARXISMO Y FEMINISMO: EL RECOMIENZO DE UNA PROBLEMÁTICA1 115 Luisina Bolla* / Pedro Karczmarczyk* 115 RRESEÑAS El materialismo de Althusser. Más (...) allá del telos y del Eschaton de Vittorio Morfino, por Valentín Huarte 153; El sujeto en cuestión, Pedro Karczmarczyk (ed.) por Constanza Storani; 159 La posición materialista. El pensamiento de L. Althusser entre la práctica teórica y la práctica política, de Natalia Romé, por Ingrid Sarchman y Carolina Collazo 164. (shrink)

TRANSPORTE DE GAMETAS, FERTILIZAÇÃO E SEGMENTAÇÃO -/- • _____OBJETIVO -/- O entendimento do desenvolvimento embrionário nos estágios iniciais, desde a deposição dos espermatozoides na fêmea, passando pela fertilização deste no ovócito e na formação do zigoto, é de suma importância para diferenciar especialistas em reprodução e manejo reprodutivo no mercado de trabalho e, também, durante a vida acadêmica. Compreender os processos que levam à formação do zigoto na fêmea é essencial para avaliar a capacidade reprodutiva dos animais e, mediante técnicas, (...) avaliar o trato reprodutivo da fêmea e o desenvolvimento do embrião até a formação do feto e, por fim, em um novo animal sadio na propriedade. Com esse trabalho, o estudante de veterinária ou zootecnia, que deseja se aprofundar na fisiologia da reprodução animal, identificará os mecanismos que são envolvidos no transporte dos gametas, bem como os processos que estes últimos devem completar para alcançar a fertilização e para desencadear as divisões iniciais do embrião. -/- • _____INTRODUÇÃO -/- A fertilização ou fecundação é o processo pelo qual os gametas masculino (espermatozoide) e feminino (ovócito) se fundem para gerar um novo indivíduo. Seu êxito depende da culminação adequada dos diferentes processos que devem sofrer os gametas durante sua maduração e percurso; do transporte oportuno destes no trato reprodutivo da fêmea, assim como de uma série de adaptações dos órgãos genitais internos da mãe. A segmentação refere-se às primeiras divisões celulares do embrião. -/- • _____TRANSPORTE DO OVÓCITO -/- O ovócito que é liberado na ovulação, e que se encontra coberto pelas células do cumulus (figura 1), é capturado pela fímbria do infundíbulo ao aderir aos cílios. Esse processo é altamente eficaz, inclusive em espécies onde os ovários possuem várias formações globosas, por exemplo nas porcas, onde os ovidutos capturam entre 95 e 100% dos ovócitos que são ovulados. As contrações das camadas musculares do oviduto e o movimento intenso dos cílios da mucosa faz com que as secreções fluam em direção ao útero, transportando assim o complexo cumulus-ovócito. Esse transporte é relativamente rápido até alcançar a junção da ampola com o istmo (que é considerado o local de fertilização do espermatozoide e ovócito) a partir do qual se torna lento. Devido a fêmea estar em estro, o processo está sob controle endócrino, isto é, controle hormonal através do estradiol. Nas fêmeas domésticas, ao contrário das mulheres, o transporte ao longo do oviduto é extremamente eficiente, pois os embriões passam para o útero sem dificuldade, de modo que gestações ectópicas (tubárias ou em cavidade) são quase inexistentes. A égua, frequentemente, retém por muito tempo os ovócitos não fertilizados no oviduto, provavelmente devido a não secreção de substâncias (como a prostaglandina E) que poderiam favorecer sua passagem, como se propõe que aconteça com os embriões. A figura 2 apresenta um ovócito com suas respectivas estruturas. Figura 1: ovócitos de uma vaca madurados in vitro. Nota-se as células do cumulus que os recobre. -/- Figura 2: estruturas do ovócito de uma ovelha que se encontra na etapa de ovócito secundário, depois da ovulação. Elaborado pelo autor. • _____TRANSPORTE ESPERMÁTICO -/- Para que os espermatozoides sejam capazes de fertilizar o ovócito, deverão sofrer uma série de mudanças bioquímicas e morfológicas ao longo de sua passagem pelo aparelho reprodutor tanto masculino como feminino. Uma vez produzidos na parede do túbulo seminífero, os espermatozoides são liberados em direção ao lúmen tubular e transportados passivamente para uma estrutura ramificada conhecida como rede testicular (rete testis). Dessa rede são conduzidos em direção ao epidídimo passando através de 10 a 20 ductos eferentes localizados no polo superior do testículo. O epidídimo é dividido em três seções denominadas cabeça, corpo e cauda; é constituído por um só ducto longo e tortuoso que continua com o canal deferente. Ao final desemboca nas ampolas seminais, no ducto ejaculatório e na uretra. As funções do epidídimo são as de maduração, transporte e armazenamento dos espermatozoides. O transporte através do epidídimo é lento, aproximadamente de 10 dias em touros, e segue sendo passivo. Os espermatozoides tomados da cabeça do epidídimo são ainda imaturos e incapazes de fertilizar, enquanto os armazenados na cauda são completamente maduros. Durante o trânsito pelo epidídimo os espermatozoides adquirem motilidade e o potencial para fertilizar, o acrossomo é remodelado e a gota citoplasmática migra para o flagelo e é liberada. Quando um macho ejacula com muita frequência, é possível observar espermatozoides com gota citoplasmática no sêmen, já que não há tempo suficiente para que completem sua maduração. Os espermatozoides são expulsados fora do organismo durante a cópula, na masturbação ou em emissões espontâneas. Na ejaculação, os espermatozoides que se encontram suspensos nos fluidos do testículo e do epidídimo, misturam-se ao chegar na uretra com as secreções das glândulas acessórias para formar o sêmen. Essas secreções denominadas plasma seminal, proporcionam substâncias para manter o metabolismo energético das células espermáticas, e integram suas membranas elementos que impedem uma capacitação prematura. Durante a cópula, o sêmen é depositado na vagina ou no útero, variando entre as espécies (tabela 1). Na monta natural, geralmente, o serviço ocorre no momento propício, já que está definido pela fase do ciclo estral em que a fêmea é receptiva ao macho. No entanto, na inseminação artificial, é o macho que deverá determinar o momento ideal, e para isso é importante considerar a vida média dos gametas, ao qual é muito curta no caso dos ovócitos (tabela 1). -/- Tabela 1: local de depósito do sêmen, volume da ejaculação e vida média dos gametas. Espécie Local de deposição Volume (ml) Velocidade de ejaculação Vida média do ovócito Vida média do espermatozoide Bovinos Intravaginal 2 1 – 3 seg 8 h 30 – 48 h Caninos Intravaginal 2 – 30 (10 média) 6 – 45 min 48 – 72 h 9 – 11 d Equinos Intrauterina 50 – 200 20 – 60 seg 6 – 8 h 72 – 120 h Humanos Intravaginal 3 - - 5 – 6 d Ovinos Intravaginal 1 1 – 2 seg 16 – 24 h 30 – 48 h Suínos Intrauterina 200 – 400 5 – 20 min 8 – 10 h 24 – 48 h Onde d = dias; h = horas. A vida fértil do ovócito é muito curta, portanto, o momento do serviço é de grande importância para obter altos índices de fertilização. -/- Independentemente do local em que os espermatozoides sejam depositados no aparelho reprodutor feminino, serão expostos às secreções genitais e sofrem uma série de mudanças em seu trajeto até o local de fertilização antes de penetrar no ovócito. Nas espécies em que o sêmen é depositado na parte cranial da vagina, uma parte do mesmo penetra através da cérvix, enquanto outra parte é eliminada do aparelho genital da fêmea, em pouco tempo, através do fluxo retrógrado. O meio vaginal não é adequado e imobiliza os espermatozoides em pouco tempo, pelo qual deverão entrar no útero onde o ambiente é mais propício. O transporte espermático na fêmea é o resultado da alta contratilidade, do movimento ciliar e o fluido do aparelho genital durante o estro, ao qual está sob controle endócrino e do sistema nervoso. Esse transporte é favorecido pelas características especiais do muco estral, cujas moléculas formam uma espécie de canais que facilitam a passagem dos espermatozoides. Pelo contrário, durante a fase lútea seu transporte é dificultado. Além do meio vaginal, a cérvix também atua como barreira natural para limitar a passagem dos espermatozoides, diminuindo assim a possibilidade de polispermia. Funciona, também, como um filtro que seleciona os espermatozoides aptos dos que não o são, uma vez que somente os primeiros possuem uma motilidade vigorosa que lhes permite passar pelo muco altamente hidratado. Na vaca a cérvix é considerada como um reservatório espermático. Quando atravessam a cérvix, os espermatozoides seguem sua deslocação tanto por movimento próprio como pelas contrações uterinas e tubárias. Nas espécies em que o local de depósito do sêmen do macho na fêmea é intrauterino, como equinos, a principal barreira que os espermatozoides enfrentam é a união ou junção útero-tubárica. A união entre o útero e o oviduto (istmo do oviduto) serve como reservatório funcional dos espermatozoides nas espécies domésticas. Poucos minutos depois da cópula, é possível encontrar alguns espermatozoides no oviduto, que é conhecido como fase de transporte rápido. No entanto, esses espermato-zoides não são os que participam do processo de fertilização e podem apresentar certas anormalidades. Existe um segundo tipo de transporte denominado fase sustentada, a qual consiste na migração prolongada dos espermatozoides em direção as partes mais craniais do aparelho genital feminino, que conduzem à colonização do reservatório funcional e na liberação gradual dos espermatozoides dos reservatórios espermáticos, incluindo este último. O reservatório do istmo fornece aos espermatozoides um ambiente propício, protegendo-os contra a fagocitose, prolongando assim a sua viabilidade. Aqui os esper-matozoides permanecem aderidos a superfície das células ciliadas do epitélio até a finalização de sua capacitação, depois da qual são liberados quando alteram seu padrão de motilidade flagelada, fenômeno conhecido como hipermotilidade, e migram em ondas em direção ao local da fertilização. Dos milhões de espermatozoides ejaculados, somente alguns milhares alcançarão o istmo do oviduto e um número sumamente pequeno será encontrado nas imediações do ovócito no momento da fertilização. -/- • _____CAPACITAÇÃO ESPERMÁTICA E REAÇÃO ACROSSÔMICA -/- A capacitação é um processo gradual e essencial para a fertilização. Os espermato-zoides devem passar por um dado tempo de “incubação” no aparelho genital da fêmea e sofrer uma série de mudanças antes de serem capazes de fecundar o ovócito. A capacita-ção dos espermatozoides começa quando eles entram em contato com as secreções do aparelho genital da fêmea e termina no istmo do oviduto. Durante esse percurso a superfície da cabeça do espermatozoide se modifica já que algumas moléculas como o colesterol são removidas da membrana plasmática, aumentando sua fluidez e alterando suas propriedades bioquímicas. Entre outras coisas, essa reorganização dos lipídios facilita a entrada de cálcio extracelular pelos canais iônicos e ocasiona a desestabilização da membrana, tornando-a mais fusogênica. Também são eliminados outros fatores (conhecidos genericamente como fatores descapacitantes) que expõem receptores membranais indispensáveis para a realização da união entre o espermatozoide e o ovócito durante a fertilização. Os espermatozoides capacitados apresentam um padrão de hipermotilidade e uma maior atividade metabólica, características que devem obter para que sejam capazes de penetrar as camadas do ovócito. A capacitação é necessária para que ocorra a reação acrossômica. A reação acrossomal ou acrossômica (RA) é um fenômeno de exocitose que é desencadeada pela ligação entre as proteínas e receptores localizados na membrana do espermatozoide e a zona pelúcida do ovócito (figura 3). Envolve a fusão da membrana plasmática do espermatozoide com a membrana externa de seu acrossomo; formando, assim, pequenas vesículas, cujo conteúdo de enzimas hidrolíticas, como a hialuronidase e a acrosina, é liberado em direção ao seu exterior, facilitando a penetração da zona pelúcida. A adesão do espermatozoide à zona pelúcida é específica da espécie e depende de glicoproteínas presentes na membrana dos ovócitos maduros; a cabeça do espermatozoide se une com essas glicoproteínas mediante receptores específicos e atravessam em direção oblíqua a zona pelúcida até chegar ao espaço perivitelino. Nos mamíferos, particularmente em roedores e nos humanos, algumas dessas glicoproteínas são conhecidas como ZP1, ZP2 e ZP3. Pensa-se que a união da membrana espermática a esta última é o que desencadeia a reação acrossomal. Posteriormente, as vilosidades do ovócito entram em contato com o espermatozoide e a membrana presente na secreção equatorial da cabeça do espermatozoide, que tem proteínas fusogênicas específicas, une-se a membrana plasmática do ovócito, fusionando-se e permitindo a entrada do núcleo espermático ao citoplasma (figura 4). A capacitação dos espermatozoides é fundamental para o êxito da fertilização, uma vez que apenas os aptos estarão perfeitos e íntegros para que a união e percepção das glicoproteínas presentes nos mesmos possam ocorrer de forma ideal para a penetração deste no ovócito, fertilizá-lo e formar um zigoto. Figura 3: estrutura do espermatozoide. Nota: a membrana é acrossomal e não acrossonal. Elaborado pelo autor. -/- Figura 4: eventos que ocorrem durante a fertilização. A – depois de passar através das células do cumulus, o espermatozoide entra em contato com a zona pelúcida, onde receptores da membrana plasmática reconhecem as proteínas da zona pelúcida; B – é desencadeada, então, a reação acrossomal; C – para que o espermatozoide penetre na zona pelúcida; D – ao atravessar a zona pelúcida e entrar no espaço perivitelino, a cabeça do espermatozoide entra em contato com a membrana vitelina; ambas membranas se fusionam graças ao reconhecimento de proteínas fusogênicas que estão no segmento equatorial. E – ocorre, então, que o núcleo do espermatozoide penetra no citoplasma do ovócito; uma das consequências da fusão da membrana com a cabeça do espermatozoide é a reação cortical, em que os grânulos corticais do ovócito liberam seu conteúdo em direção ao espaço perivitelino, o que resulta na alteração da estrutura da zona pelúcida e da membrana vitelina para bloquear a polispermia. Elaborado pelo autor. • _____CONSEQUÊNCIAS DA PENETRAÇÃO -/- Bloqueio da polispermia -/- A fusão das membranas dos gametas durante a penetração permite a entrada da fosfolipase C zeta (PLCζ) – fator solúvel que provém do espermatozoide – que desencadeia liberação e oscilações de Ca2+ no retículo endoplasmático. Isso, por sua vez, provoca a migração e fusão dos grânulos corticais, com a consequente liberação de enzimas, que mudam tanto a estrutura da zona pelúcida (por exemplo a inativação de ZP3), como a da membrana vitelina. Desse modo, impede-se que outros espermatozoides as penetrem, evitando assim a polispermia (figura 5). -/- Figura 5: os grânulos corticais que encontram-se na periferia do citoplasma, debaixo da superfície da membrana do ovócito, migram e fusionam-se sobre a mesma, liberando seu conteúdo no espaço perivitelino imediatamente depois da penetração do espermatozoide. A – como conse-quência, tanto a membrana vitelina como a zona pelúcida são modificadas, impedindo a entrada de mais espermatozoides, o que evita a polispermia. B – o ovócito retoma, então, sua segunda divisão meiótica, que ocasiona a expulsão do segundo corpúsculo polar, e na formação dos pronúcleos feminino e masculino. C – continuando, os pronúcleos migram, suas membranas se dissolvem e os cromossomos de ambos se condensam e se unem. Completa-se, assim, a singamia e forma-se, então, o zigoto. Elaborado pelo autor baseado nos livros de embriologia e fisiologia da reprodução conforme vida bibliografia. -/- Ativação do ovócito e formação de pronúcleos -/- Na maioria das fêmeas domésticas, com exceção da cadela, o ovócito encontra-se suspenso na metáfase II da segunda meiose no momento da ovulação. A entrada da PLCζ do espermatozoide no citoplasma do ovócito, e a consequente liberação de Ca2+, faz com que o ovócito se ative, terminando a segunda divisão meiótica e expulse o segundo corpo polar. Posteriormente, o material nuclear do ovócito se reorganiza para formar o pronú-cleo feminino. Entretanto, a membrana nuclear do espermatozoide se dissolve, a cromatina descondensa-se, as protaminas são substituídas por histonas, e se forma uma nova membrana nuclear, dando lugar ao pronúcleo masculino. -/- Singamia -/- Uma vez que os pronúcleos feminino e masculino são formados, migram para o centro do ovócito, aproximam-se, suas membranas se dispersam e os cromossomos paternos e maternos se associam, com o qual recupera a condição diploide e dá origem ao zigoto (figura 5). -/- • _____DESENVOLVIMENTO EMBRIONÁRIO -/- Poucas horas após a fertilização ocorre a primeira divisão do zigoto em duas, depois em 4, 8, 16 e 32 células, denominadas blastômeros. Essas divisões mitóticas são conhecidas como divisões de segmentação ou clivagem (figura 6), uma vez que são realizadas sem aumento do citoplasma, de modo que com cada divisão os blastômeros se tornam menores. A partir das 16 células o embrião se chama mórula, e é visto como uma massa celular compacta. A compactação deve-se a informação de proteínas de ligação entre os blastômeros. O embrião acumula líquido em seu interior, formando uma cavidade denominada blastocele. Esse processo é conhecido como blastulação; o embrião, assim, passa a ser chamado de blastocisto. Nessa etapa é possível diferenciar duas populações de células embrionárias: a massa celular interna, embrioblasto ou botão embrionário (que dará origem ao embrião), e a massa celular externa, células superficiais ou trofoblasto, do qual se originam a maioria das membranas fetais. Ao continuar a multiplicação das células e a acumulação de líquido, o blastocisto aumenta de tamanho, convertendo-se em blastocisto expandido. A zona pelúcida torna-se mais fina e, finalmente, o embrião eclode; isto é, o embrião é liberado da zona pelúcida. -/- • _____FERTILIZAÇÕES ATÍPICAS -/- Polispermia -/- É a penetração de dois ou mais espermatozoides no óvulo. Esta condição é letal nos mamíferos, já que o número cromossômico desse zigoto é maior que 2n, o envelheci-mento do ovócito da porca, como consequência do serviço tardio, favorece a apresentação da polispermia, por isso, é comum ver números de nascimentos de média de 10 a 12 leitões por parição nessa espécie. Nas aves, no entanto, a penetração de mais de um espermatozoide é normal, embora apenas um pronúcleo masculino se formará, fundindo-se com o feminino. -/- Figura 6: etapas do processo de segmentação/clivagem. Fonte: aula de reprodução da professora Domenica Palomaris, UFT. -/- Ginogênese -/- É o desenvolvimento de um embrião a partir de um óvulo normal fecundado por um espermatozoide, mas sem a fusão dos cromossomos masculinos com os da fêmea. A função do espermatozoide, nesse caso, é a de ativação do ovócito para que este inicie seu desenvolvimento, mas não há fusão com o núcleo do espermatozoide. Ocorre em plantas, em nematódeos e em algumas espécies de peixes, por exemplo a Poecilia formosa, espécie em que os ovócitos das fêmeas são ativados por machos de outra espécie relacio-nada. -/- Partenogênese -/- Consiste no desenvolvimento do embrião sem a participação do espermatozoide. Ocorre em alguns insetos, o zangão, por exemplo, é partenogenético. Também pode apresentar-se em perus, cujos embriões são machos e, geralmente, morrem antes da eclosão. -/- • _____GÊMEOS -/- Existem dois tipos de gêmeos: idênticos ou monozigóticos e os não idênticos ou dizigóticos. -/- Idênticos ou monozigóticos -/- Originam-se do mesmo zigoto, sendo assim, possuem o mesmo genótipo e um fenótipo similar e, portanto, são do mesmo sexo. Em laboratório é possível gerá-los ao seccionar uma mórula em duas ou mais partes, por meio de um micromanipulador. Uma vez que possuem o mesmo genótipo, os produtos resultantes são clones. -/- Não idênticos ou dizigóticos -/- Provêm da fertilização de dois óvulos distintos por espermatozoides diferentes. Possuem, portanto, genótipos e fenótipos diferentes, e podem ser de sexo diferente. -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- ALBERTS, Bruce et al. Biologia molecular da célula. Artmed Editora, 2010. AUSTIN, Colin Russell; SHORT, Roger Valentine. Reproduction in Mammals, Book I: Germ Cells and Fertilization. 1982. BEARDEN, Henry Joe et al. Reproducción animal aplicada. México: Manual Moderno, 1982. BOSCH, P.; WRIGHT JR, R. W. The oviductal sperm reservoir in domestic mammals. Archivos de medicina veterinaria, v. 37, n. 2, p. 95-105, 2005. CAPALLEJAS, Roberto Brito; RODRÍGUEZ, Lourdes Tagle. Fisiología de la reproducción animal: con elementos de biotecnología. Editorial Félix Varela, 2010. CROXATTO, Horacio B. Physiology of gamete and embryo transport through the fallopian tube. Reproductive biomedicine online, v. 4, n. 2, p. 160-169, 2002. CUPPS, Perry T. (Ed.). Reproduction in domestic animals. Elsevier, 1991. DIEDRICH, Smidt et al. Endocrinología y Fisiología de la Reproducción de los Animales Zootécnicos. 1972. DUKES, Henry Hugh; SWENSON, Melvin J.; REECE, William O. Dukes fisiologia dos animais domésticos. Editora Guanabara Koogan, 1996. FERREIRA, A. de M. Reprodução da fêmea bovina: fisiologia aplicada e problemas mais comuns (causas e tratamentos). Juiz de Fora: Minas Gerais–Brasil, p. 422, 2010. HAFEZ, Elsayed Saad Eldin; HAFEZ, Bahaa. Reprodução animal. São Paulo: Manole, 2004. HUNTER, Ronald Henry Fraser. The Fallopian tubes in domestic mammals: how vital is their physiological activity?. Reproduction Nutrition Development, v. 45, n. 3, p. 281-290, 2005. HUNTER, R. H. F.; RODRIGUEZ‐MARTINEZ, H. Capacitation of mammalian spermatozoa in vivo, with a specific focus on events in the Fallopian tubes. Molecular Reproduction and Development: Incorporating Gamete Research, v. 67, n. 2, p. 243-250, 2004. GALINA, Carlos; VALENCIA, Javier. Reproducción de los animales domésticos. 2006. HOPPER, Richard M. (Ed.). Bovine reproduction. John Wiley & Sons, 2014. HYTTEL, Poul; SINOWATZ, Fred; VEJLSTED, Morten. Embriologia veterinária. Elsevier Brasil, 2012. KÖLLE, Sabine; REESE, Sven; KUMMER, Wolfgang. New aspects of gamete transport, fertilization, and embryonic development in the oviduct gained by means of live cell imaging. Theriogenology, v. 73, n. 6, p. 786-795, 2010. MCKINNON, Angus O. et al. (Ed.). Equine reproduction. John Wiley & Sons, 2011. OLIVERA, Martha et al. El espermatozoide, desde la eyaculación hasta la fertilización. Revista Colombiana de Ciencias Pecuarias, v. 19, n. 4, p. 426-436, 2006. PLANT, Tony M.; ZELEZNIK, Anthony J. (Ed.). Knobil and Neill's physiology of reproduction. New York: Academic Press, 2014. RODRIGUEZ-MARTINEZ, Heriberto. Role of the oviduct in sperm capacitation. Theriogenology, v. 68, p. S138-S146, 2007. SAAVEDRA LEOS, María Dolores. Estudio de la composición de los gránulos corticales y del oolema de ovocitos porcinos y bovinos madurados y fecundados in vitro. Proyecto de investigación:, 2010. SENGER, Phillip L. et al. Pathways to pregnancy and parturition. Current Conceptions, Inc, 2004. SUAREZ, Susan S. The oviductal sperm reservoir in mammals: mechanisms of formation. Biology of Reproduction, v. 58, n. 5, p. 1105-1107, 1998. VALENCIA MÉNDEZ, Javier de J. Fisiología de la reproducción porcina. 1986. -/- FIXAÇÃO DO ASSUNTO -/- 1. Defina e diferencie fertilização e segmentação. -/- 2. Disserte sobre o transporte do ovócito. Por que no istmo o transporte do ovócito se torna lento? -/- 3. Fale sobre a eficiência do transporte do gameta no trato genital da fêmea e sobre a retenção de ovócitos pela égua. -/- 4. Defina as células do cumulus e explique seu papel sobre o ovócito. -/- 5. Quais as estruturas que compõem o ovócito? Qual a função de cada uma? -/- 6. Todos os ovócitos das fêmeas domésticas são iguais? Justifique. -/- 7. Disserte sobre o papel dos hormônios e das secreções sobre o transporte do ovócito no trato genital da fêmea. -/- 8. Disserte sobre o transporte do espermatozoide. Por que há transporte rápido e lento dos espermatozoides? -/- 9. Fale sobre o local de deposição do sêmen nas espécies domésticas e como esse influen-cia na eficiência da reprodução. -/- 10. Por que a vida média do espermatozoide canino é maior que as outras espécies? -/- 11. Quais as mudanças que os espermatozoides precisam sofrer para conseguir êxito na fertilização e por quê? -/- 12. Defina fase de transporte rápido, fase sustentada e hipermotilidade. Qual a importân-cia de cada um? -/- 13. Como ocorre a reação acrossômica? -/- 14. O que é polispermia e como ocorre seu bloqueio? 15. Como ocorre a ativação do ovócito e como se formam os pronúcleos? -/- 16. O que é e qual a importância da singamia? -/- 17. Disserte sobre as divisões de segmentação e qual a importância destas para o êxito da reprodução. -/- 18. Defina e diferencia mórula e blastocisto. -/- 19. Defina e diferencie ginogênese e partenogênese. -/- 20. Qual o papel endócrino e quais hormônios e enzimas atuam sobre o transporte de gametas, sobre a fertilização e sobre a segmentação? (shrink)

Self-enhancing statements can provide useful information. Why do we resent those who make them? We suggest that the resentment comes from a broader claim of superiority that self-enhancing statements can imply. In three experiments, we compared one condition, designed such that the self-enhancing claim would be perceived as a claim of superiority, to three conditions providing different contextual reasons for why the self-enhancing claim might not be a claim of superiority. In those conditions the self-enhancing claim is either called for, (...) addressed to someone who performs better than the self-enhancer, or addressed to someone who doesn’t compete in the domain mentioned of the self-enhancing claim. The results show that participants disliked the self-enhancer more and were more likely to deem the self-enhancing claim to be a brag when the self-enhancing claim was manipulated to be a claim of superiority. (shrink)

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...) Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.

The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...) of its extensions, e.g., £(R,-R,R-1 ,_R-1), £(R,-R,=I=) etc., is described, and numerous examples of conditions definable there, as well as undefinable ones, are adduced. (shrink)

In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...) Arendt, which Young draws on, and that it is also untenable on independent systematic grounds. Furthermore, I argue that several of Young's other criteria fail to clearly demarcate two distinct phenomena. I therefore propose to transcend Young's distinction between two models in favour of a related, but conceptually different distinction between two forms of responsibility: interactional and structural. Embracing this terminology facilitates the conceptualisation of the general features of responsibility that are shared by both forms, including their retrospective and prospective time-direction and their applicability to individual, joint and group agency. The distinction between interactional and structural responsibility also yields a more compelling general account of the role of background structures, and of blame within ascriptions of political responsibility. (shrink)

Interview of Katrin Flikschuh, Rainer Forst and Darrel Moellendorf by Valentin Beck and Julian Culp for Global Justice: Theory Practice Rhetoric.

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.

This paper argues that the Fairtrade certification system represents an illuminating example of the challenge of systematically determining consumer and entrepreneurial responsibilities in our global age. In taking up the central question of what, if anything, may be called ‘just’ or ‘fair’ in Fairtrade, I more precisely argue for a two-fold thesis: that a meaningful evaluation of Fairtrade must consider both an interactional and an institutional understanding of global responsibilities to promote justice and that Fairtrade can be better defended against (...) several popular objections from the perspective of a theory that adequately differentiates between interactional responsibilities and institutional responsibilities of promoting justice under unjust circumstances. (shrink)

The learning process of both students and teachers can be predicted based on the learning mode. Therefore, because of the COVID-19 pandemic, schools must start using online learning and abandon more traditional teaching techniques. Thus, this study investigates the relationship between self-efficacy and academic resilience among 150 senior high school students. Thus, the researchers employed General Self-Efficacy and Resilience Scale. Finally, the statistical analysis reveals that the r coefficient of 0.78 indicates a high positive correlation between the variables. The p-value (...) of 0.00, which is less than 0.05, leads to the decision to reject the null hypothesis. Hence, a significant relationship exists between self-efficacy and resilience among senior high school students. (shrink)

Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...) method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...) a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

This note considers deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula  either `  or a  (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considerations.

Problem Statement. In modern conditions the reconstruction of self-developing socio-technological- ecological systems, which include man as its element, is actualized. The result of such a construction will be the management of the value of technogenic risk in its biological, social and civilizational forms. And the obvious consequence will be the transition of the development of biopolitical problems to a new, no longer international, but global-evolutionary level. The theory and practice of such a reconstruction can be designated by the category of (...) “Transbiolitics,” which implies the political institutionalization of “ecological re整ection. The article is a logical continuation of our previous publication devoted to the analysis of the transformation of the political process into the main factor of global evolution and the biopolitical transformation of the geopolitical landscape. The purpose of this paper is to create a general sketch of the con散guration of the main trends of the coevolutionary interaction of biological, sociocultural and techno-rationalist modules of the stable evolutionary strategy of the technogenic civilization in the space of bio- and geopolitical connotations of international relations. Based on a combination of methods of conceptual, discursive and political-anthropological analysis (in the context of transbiolitical paradigm) the content of the category “Transbiolitical Chronotope” is revealed: a geopolitically di䍕erentiated set of socio-cultural vectors of modern civilization evolution. In other words, the trans-biopolitical chronotope determines the direction of inclusive technological transformation of both cultural and ecological niche and the biosocial nature of man. The general conclusion/prognosis can be reduced to two theses. Firstly, transbiolitics, formed in a di䍕erentiated cultural-civilizational context, is currently being integrated into the general political process, partially replacing and partially intertwining with geopolitical doctrines in the sphere of international relations. Secondly, the growing con整ict of technological civilization with the cultural and ecological niche constructed by it through the turbulence of the geopolitical sphere of social life can bring the level of technological and civilizational risk to the existential boundary. (shrink)

Applied technological developments are represented by (1) genetic engineering as management tools of biological evolution and (2) socio-economic engineering as management tools of civilizational and socio-cultural development. This binary structure logically follows from the postulated three-module organization of the sustainable evolutionary strategy of the sentient human being. Naturphilosophy once again acquires the status of the basis of the theory of evolution in an explicit way. There is a system of metaphysical postulates and ontological categories derived from the anthropic principle of (...) participation. For modern neoliberal political democracy, bio-power and biopolitics look like the most effective technology for stabilizing the scenarios and trends of the global evolutionary process that are optimal within this ideological system. Conclusions.Transbipolitics in our understanding is a political problematic related to the rationalization of the global evolutionary process. In the coming decades transbipolitics will become the carrier element of the global process of evolution of the noosphere with the consequent complication and increase of cohesion between the individual socio-cultural types that are part of the system of modern globalizing civilization. (shrink)

A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL$^{*}$ into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL$^{*}$-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for reasoning (...) about branching time. (shrink)

The co-evolutionary concept of tri-modal stable evolutionary strategy (SESH) of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctness) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the vectors of human evolution by two gear mechanism ˗ genetic and cultural co-evolution and techno-humanitarian balance. Explanatory model and (...) methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. The mechanism of influence of each module on the evolution of the two remaining modules of SESH a priori can be twofold: (1) informational co-evolution (direct selective pressure); (2) semantic co-evolution (time-varying semantic code, the compliance of the biological, socio- cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). More rapidly evolving autonomous element of the co-evolutionary pair becomes making sense factor for the partner. Semantic co-evolution is the discrete acquisition of adaptive significance of individual alleles by changing socio-cultural types, manifested as an increase in the genetic variability of populations of Homo sapiens, and domesticated species parallel to socio-culturogenesis. The socio- cultural landscape leads to drastically difference of direction in biological evolution of Atlantic and East-Slavic ethnicities/civilizations. (shrink)

The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system of mental (...) and valued options of spiritual culture takes place. The attribute of classical science – ethics neutrality of scientific knowledge becomes an unattainable ideal. One of the trends in the evolution of theoretical epistemology is the study of migration mechanisms of generation of scientific knowledge from the sphere of its own logic and methodology of science in the field of sociology - the consideration of this process, as the resulting system of interactions of social structures and institutions. Ensuing ideas and settings become the dominant worldview of philosophical and technological civilization. -/- . (shrink)

The stable evolutionary strategy of Homo sapiens and patterns of risks arising in the course of this evolution were discussed in article. These patterns were predicted by Bogdanov’s option of General systems theory.

This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...) used for data collection. The questionnaire was duly validated with an acceptable scale and item content validity indices. The dimensionality of the instrument was determined using exploratory factor analysis (EFA). Convergent validity was based on Average Variance Extracted (AVE), whereas discriminant validity was based on Fornell-Lacker criteria and the Hetero-Trait Mono-Trait (HTMT) ratio. Acceptable composite reliability estimates of internal consistency were reached for the three sub-scales. Following ethical practices, the questionnaire was physically administered to respondents and retrieved afterwards. Smart PLS (version 3.2.9) and SPSS (version 26.0) programs were used for all the statistical analyses. This study uncovered significant direct and indirect effects of curriculum management on the viability of graduate programmes. Institutional effectiveness significantly impacted graduate programmes’ viability while mediating the nexus between curriculum management and graduate programmes’ viability. Curriculum management and institutional effectiveness jointly explained a significant proportion of graduate programmes’ viability variance. The result of this study proved that graduate programmes’ viability depends, to a great extent, on how much curriculum is managed and how effective institutions are with their services. The result of this study can enable institutions seeking to run viable graduate programmes to re-evaluate their curriculum management practices and the effectiveness of their services. (shrink)

We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain ‘minimal (...) canonical form’, by using only the axiomatic identities, and on showing that the equivalence of two minimal canonical terms can be established from these identities. (shrink)

The co-evolutionary concept of Three-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctly) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the trends of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism ˗ gene-cultural co-evolution and techno- humanitarian balance. (...) The resultant each of them can estimated by the ratio of socio-psychological predispositions of humanization/dehumanization in mentality. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the biological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). (shrink)

The book discusses some of the stages in the development of genetics, biotechnology in terms of basic strategy of humanity towards the formation of a modern agrarian civilization. Agricultural civilization is seen as part of the biosphere and primary user of its energy flows. Consistently a steps of creation of management tools for live objects to increasing the number of food security of mankind are outlines. The elements of the biosphere degradation started in the results of human activities, and the (...) ways of their compensation. are discussed.The importance of the cooperation of experts in different areas of knowledge in the development of new approaches to the management of genetic resources of the planet is discussed too. (shrink)

Consumer boycotts have become a frequent form of social protest in the digital age. The corporate malpractices motivating them are varied, including environmental pollution, lack of minimum labour standards, severe mistreatment of animals, lobbying and misinformation campaigns, collaboration or complicity with illegitimate political regimes, and systematic tax evasion and tax fraud. In this article, I argue that organised consumer boycotts should be regarded as a legitimate and purposeful instrument for structural change, provided they conform to a number of normative criteria. (...) In order to show this, the practice and empirical context of consumer boycotts are first outlined. I then lay out and refute three general objections to this practice. Although each of these objections fails, their discussion generates insights concerning the normative standards with which boycotters must comply if they want their campaigns to be both legitimate and successful. These normative criteria are detailed along the lines of two guiding principles, proportionality and transparency. In the final step, I elaborate on structural change as the deeper purpose of consumer boycotts. (shrink)

Stable evolutionary strategy of Homo sapiens (SESH) is built in accordance with the modular and hierarchical principle and consists of the same type of self-replicating elements, i.e. is a system of systems. On the top level of the organization of SESH is the superposition of genetic, social, cultural and techno-rationalistic complexes. The components of this triad differ in the mechanism of cycles of generation - replication - transmission - fixing/elimination of adoptively relevant information. This mechanism is implemented either in accordance (...) with the Darwin-Weismann modus, or according to the Lamarck modus, the difference between them is clear from the title. The integral attribute of the system of systems including ESSH is the production of evolutionary risks. The sources of evolutionary risk for stable adaptive strategy of Homo sapiens are the imbalance of (1) the intra-genomic co-evolution (intragenomic conflicts); (2) the gene-cultural co- evolution; (3) the inter-cultural co-evolution; (4) techno-humanitarian balance; (5) inter- technological conflicts (technological traps). At least phenomenologically the components of the evolutionary risk are reversible, but in the aggregate they are in potentio irreversible destructive ones for bio-social, and cultural self-identity of Homo sapiens. When the actual evolution is the subject of a rationalist control and/or manipulation, the magnitude of the 4th and 5th components of the evolutionary risk reaches the level of existential significance. (shrink)

The author of the monograph is a Candidate of Culturology, Associate Professor of Tyumen State University. The monograph tests approaches to the understanding of the essence of Hobbes’s and Locke’s ideas about miracles that are more flexible than a formational-evolutionist approach. The monograph presents the main characteristics of these ideas as Christian philosophical ones, shows their general Christian direction and the historiographic perspective of studying these ideas primarily in line with Christian philosophy. The monograph is intended for experts in the (...) history of philosophy, the history of ideas, theology, religious studies, historical anthropology, as well as for those interested in the problems of historical-philosophical knowledge. Автор монографии – кандидат культурологии, доцент Тюменского государственного университета. В монографии апробируются более гибкие подходы к пониманию сущности идей Гоббса и Локка о чудесах по сравнению с формационно-эволюционистским подходом. Представлены основные характеристики идей Гоббса и Локка о чудесах как христианских философских идей. Показана общехристианская направленность идей Гоббса и Локка о чудесах и историографическая перспективность изучения этих идей в первую очередь как христианских философских идей. Монография рассчитана на специалистов в области истории философии, истории идей, теологии, религиоведения, исторической антропологии, а также на всех, кто интересуется проблемами историко-философского знания. (shrink)

We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that logic and show that it has the (...) finite frame property and its satisfiability problem is in EXPTIME. All these results easily extend to temporal and other multi-modal logics. Finally, we show that there are modal formulas which are almost surely valid in the finite, yet fail in the countable random frame, and hence do not follow from the extension axioms. Therefore the analog of Fagin's transfer theorem for almost sure validity in first-order logic fails for modal logic. (shrink)

There are two primary roles of universities – a place of learning and where new ideas and technologies are created. Universities profit from teaching and learning, research, and technology positions. It is the responsibility of institutions of higher learning to produce capable and self-directed learners who are confident and capable of contributing to society through leadership or civic engagement. Universities also prepare students for high-level employment. These institutions are also there to generate new knowledge, shift paradigms, assist society in fulfilling (...) its evolving needs and tackle new problems. Universities have further been tasked with developing highly competent staff and research output to attain their stated objectives. (shrink)

We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms of (...) the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees. (shrink)

The main objective of this paper was to examine the relationship between management of educational support services and the attainment of Universal Basic Education goals in Cross River State. Three null hypotheses were formulated in this study. The study adopted correlational research design. Census technique was employed in selecting the entire population of 2,078 primary school administrators in the state. The instruments used for data collection were “Management of Educational Support Services Questionnaire (MESSQ); and Attainment of Universal Basic Education Goals (...) Questionnaire (AUBEGQ)” respectively. The data collected were analyzed using descriptive statistics, while the null hypotheses were all tested using Pearson Product Moment Correlation Analysis at .05 alpha levels. The results from the study revealed that; management of guidance/counselling services, staff development services, and ICT services are significantly related to the attainment of Universal Basic Education goals respectively. Based on these results, it was recommended among others that; the ministry of education should ensure that there is adequate provision of professional guidance counsellors to every primary school in Cross River State in order to help address the psychological and persona-social needs of the pupils. Contribution/Originality:. (shrink)

In this article we intend to present Alvin Plantinga’s epistemology by showing the way in which its central concepts: the Reidian foundationalism, the partial critique of evidentialism, warrant, proper function, reliability and externalism - are logically interrelated. A section of this article is reserved to the critiques of his account of warrant brought by Peter Klein and Richard Feldman and to the way in which Plantinga answered them, by developing the concepts of cognitive maxi- and mini-environment. In the end we (...) will see the way in which Plantinga’s epistemology relates to both modernism and postmodernism. (shrink)

The COVID-19 crisis has not only ontological roots but also epistemic ones too; its cause lies in the main evolutionary trends in the development of science as a social institution. And only then the epistemic factors were transformed into existential-ontological ones, connected with the very existence of civilization and our biosocial nature. The way out of the crisis is the unalterable development of all sectors of technologies of controlled evolution. As a result, biopolitics extends the sphere of competence to interstate (...) and interethnic relations, becomes transbiopolitics, ie a global geopolitical factor responsible for the preservation of humanity and its self-identity. The coronavirus pandemic, like other manifestations of the civilization crisis, is politically generated by globalization. The same consequences of globalization contribute to the fragmentation of the geopolitical space and the inhibition of the actual globalization process. the pandemic scale of the crisis immediately brought biopolitics to the level of a systemic factor in interstate relations in both formal and substantive aspects. (shrink)

The studies of Svante Pääbo, Nobel Laureate in Physiology or Medicine in 2022 are analyzed in two aspects: firstly, as the most striking example of the evolutionary transformation of classical scienceinto the so-called post-academic (techno)science and, secondly, as an element of the so-called "biopolitical turn" in the socio-humanitarian and political knowledge of technological civilization and, in particular, in the concept of "civil society".

Auch zu Beginn des 21. Jahrhunderts lebt ein großer Teil der Menschheit in bitterer Armut. Daraus ergibt sich die brennende Frage, was die Bürgerinnen und Bürger wohlhabender Länder extrem armen Menschen moralisch schulden. Valentin Beck beantwortet sie im Rahmen einer umfassenden Theorie der globalen Verantwortung. In seinem glänzend geschriebenen Buch behandelt er zentrale Fragen der Theorie globaler Gerechtigkeit, unterzieht unsere Verflechtung in globale soziale Strukturen einer detaillierten Analyse und wirft so ein neues Licht auf eine der größten moralischen Herausforderungen (...) unserer Zeit. Wir müssen mit Blick auf den politischen und individuellen Umgang mit der Weltarmut umdenken, so lautet die zentrale Forderung dieser Studie. (shrink)

Topicality of the research topic. As a result of the COVID-19 pandemic, there is an increase in the instability of the structure of ecosocial systems. Technological innovations have led to a sharp deterioration in natural social ecodynamics. The aim of the research is the conceptual modeling of the proliferation of biopolitics from the social sphere to the field of international relations with the subsequent transformation into a systemic factor of the global evolutionary process. Research methods and results. The model is (...) based on our previously proposed concept of a three-module stable evolutionary strategy of technogenic civilization. In relation to the triple spiral of anthropo-socio-technogenesis, i.e., the historical development of the cultural-ecological niche of Homo sapiens, constructed by him, this means the following. Periods of stable progressive growth of evolutionary and civilizational success are replaced by periods of various scales crisis, up to civilizational or even biological-evolutionary singularity. During the crisis, the importance of the political factor increases sharply, and over the past 50 years, this primarily relates to the field of biopolitics. The regional differentiation of the biopolitical sphere reconstruction during the fight against the pandemic will inevitably complicate international relations not only between regions that belong to different cultural and civilizational types. Probably less so, the same problems will affect the reconciliation of differences caused by geopolitical, interethnic, religious and even economic (competition) reasons. The first phase of the adaptive civilizational response is to reduce the degree of connection between the individual socio-cultural elements of modern civilization, i.e., slowing down the globalization process and intensifying interregional conflicts of various contents. In particular, such contradictions will be most acute in the post-Soviet geopolitical space, where the conditions of the civilizational rift are imposed on the conflicts of the transition period. Due to the specifics of modern high technologies, the process will enter the phase of global socio-techno-ecological self-developing systems reconstruction, which includes man as its element. And the obvious conclusion will be the transition of the development of biopolitical issues to a new, no longer international, but global-evolutionary level. In our understanding, transbiopolitics is a political issue related to the rationalization of the global evolutionary process. The latter will become a bearing element of the global process of evolution of the noosphere with the subsequent complication and increase of cohesion between separate sociocultural types which are a part of system of the modern globalizing civilization. (shrink)

Purpose. Our study aims at developing a conceptual model of transdisciplinary synthesis of philosophical-anthropological, sociopolitical and epistemological aspects of co-evolution of the scientific and technical designs of High Hume class and the socio-cultural / political context in the process of anthropo-socio-cultural genesis. The relevance of the topic is justified by the technologization of all spheres of human existence and the emergence of High Hume class technologies, which can be called technology-driven equally. As a result, the concepts of "bio-power" and "biopolitics" (...) have become ones of the most frequently mentioned in modern philosophical and anthropological discourse and attract increasing attention of philosophers, sociologists, and, in the last decadecades, experts in the field of practical political science and economics (Foucault, Agamben, Žižek, Kebnik, Nadesan, etc.). Theoretical basis. It is problem-theoretical research; We synthesize the results of our publications in recent years. We proceed from the fact that the main question of the informational phase of the development of a technogenic civilization lies in the rationalization and technologization of the evolutionary process, i.e. in the removal of the fundamental ontological antinomy “Evolution versus Reasonable Design”, as a result for modern neoliberal political democracy, biopower and its theoretical understanding (biopolitics) are effective tools and technologies to form of optimal trends of the global evolutionary process, in the framework of this ideological system. We have chosen the comparative conceptual analysis combining with the results of the content analysis of Web publications by the main method of the study. Originality of the research is in the fact that the central core of such a model is the use of a conceptual and terminological apparatus for describing the mechanisms of the progressive evolution of complex systems, known as the “triple spiral” by Ledeisdorf-Itskovich. This allowed us to integrate the bio-power phenomenon into the general scheme of a stable evolutionary strategy of a technogenic civilization. The conclusions. We justified the transformation of biopolitics into the main factor in the global evolution of self-organizing human-sized systems, including the biosphere as a whole. This is achieved through the creation of a specific (bio) ethical system of imperatives and the activities of individuals in relation to themselves and other agents of social actions. Bioethics with a trail of associated conceptual areas (biosociology, bioeconomics, biohistory, etc.) turned out to be the only rationalized regulator of the process of biological and sociocultural evolution. The triple spiral biotechnology – bioeconomy – bioenergy as the material substance of the life of technological civilization is reflected in the ideal world as a triad of bioethics – biosociology – biopolitics. Both triads form closed cycles of evolutionary transformations that transmit and amplify the initial momentum of transformations on each other through a cascade mechanism with positive feedback. (shrink)

The coronavirus pandemic, like its predecessors - AIDS, Ebola, etc., is evidence of the evolutionary instability of the socio-cultural and ecological niche created by mankind, as the main factor in the evolutionary success of our biological species and the civilization created by it. At least, this applies to the modern global civilization, which is called technogenic or technological, although it exists in several varieties. As we hope to show, the current crisis has less ontological as well as epistemological roots; its (...) reason lies in the main evolutionary trends in the development of science as a social institution. It was only later that epistemological factors were transformed into existential-ontological factors associated with the asymmetry of the existence of civilization and our biosocial nature. The perception or ignorance of a risk factor as a real fact is determined by the presence or absence of knowledge about it. In other words, risk is the result of the integration of the corresponding ontological concept into the general categorical structure. The plurality of such structures is a hallmark of multidisciplinary ontologies, each of which is associated with its own factual continuum. The aim of this study was to conceptually model for support relativistic parameter of evolutionary efficiency of stable evolutionary human strategy (SESH) in its techno-rationalistic module. The meaning of this term is equivalent to the category of scientific and technological development. (shrink)

The theory of evolution of complex and comprising of human systems and algorithm for its constructing are the synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern (transdisciplinary) science. «Trans-disciplinary» in the context is interpreted as a completely new epistemological situation, which is fraught with the initiation of a civilizational crisis. Philosophy and ideology of technogenic civilization is based on the possibility of unambiguous demarcation of public value and descriptive scientific discourses (1), and the object and (...) subject of the cognitive process (2). Both of these attributes are no longer valid. For mass, everyday consciousness and institutional philosophical tradition it is intuitively obvious that having the ability to control the evolutionary process, Homo sapiens came close to the borders of their own biological and cultural identity. The spontaneous coevolutionary process of interaction between the «subject» (rational living organisms) and the «object» (material world), is the teleological trend of the movement towards the complete rationalization of the World as It Is, its merger with the World of Due. The stratification of the global evolutionary process into selective and semantic (teleological) coevolutionary and therefore ontologically inseparable components follows. With the entry of anthropogenic civilization into the stage of the information society, firsty, the post-academic phase of the historical evolution of scientific rationality began, the attributes of which are the specific methodology of scientific knowledge, scientific ethos and ontology. Bioethics as a phenomenon of intellectual culture represents a natural philosophical core of modern post- academic (human-dimensional) science, in which the ethical neutrality of scientific theory principle is inapplicable, and elements of public-axiological and scientific-descriptive discourses are integrated into a single logic construction. As result, hermeneutics precedes epistemology not only methodologically, but also meaningfully, and natural philosophy is regaining the status of the backbone of the theory of evolution – in an explicit form. (shrink)

Summary. The prerequisites of this study have three interwoven sources, the natural sciences and philosophical and socio-political ones. They are trends in the way of being of a modern, technogenic civilization. The COVID-19 pandemic caused significant damage to the image of the omnipotent techno-science that has developed in the mentality of this sociocultural type.Our goal was to study the co-evolutionary nature of this phenomenon as a natural consequence of the nature of the evolutionary strategy of our biological species. Technological civilization (...) as a cultural-civilizational type is one of the evolutionary options of Homo sapiens, the ontological basis of which is a stable evolutionary strategy (SESH). The latter is capable to spontaneous development and is consisting from biological, sociocultural, and techno-rationalistic modules. Evolutionary risks inextricably linked with it. At present, humankind has entered an era when its existence should be ensured by the meta-system engineering of its own cultural and ecological niche. By such artificially created elements, it implies the design and implementation of ecological systems of various levels of complexity, from the design of elements of such systems (which are biological individuals, populations and species) to the design of a global ecological system (biosphere). At the same time, there is a sharp jump in the value of anthropogenic and technological risk due to a sharp increase in the instability of the structure of ecological systems. We are witnessing a third wave of breaking and reconstruction of the existing relations between the elements of such systems after the Neolithic revolution and great geographical discoveries. Technological innovations led to sharp violations of normal social ecodynamics, leading to outbreaks of new infections, in particular. Theuncontested development of all sectors of controlled evolution technology is the way out of the last such crisis and the prevention of similar ones in the future. There are global nature of the organization of modern technological civilization and the transformation of the biosphere not so much into the noosphere (according to Vernadsky) but into the technosphere that determines the effect of a cascade reaction: any local co-adaptive conflict between elements of a cultural, socio-ecological niche tends to turnglobal and systemic problems. Humanity is constantly forced to make a choice between the stability and adaptability of the technosphere. (shrink)

From Chernobyl to Fukushima, it became clear that the technology is a system evolutionary factor, and the consequences of man-made disasters, as the actualization of risk related to changes in the social heredity (cultural transmission) elements. The uniqueness of the human phenomenon is a characteristic of the system arising out of the nonlinear interaction of biological, cultural and techno-rationalistic adaptive modules. Distribution emerging adaptive innovation within each module is in accordance with the two algorithms that are characterized by the dominance (...) of vertical (transgenerational) and horizontal (infection, contagion) adaptive streams of information, respectively. Evolutionary risk is the result of an imbalance of autonomous adaptive systems have an essential attribute of adaptibe strategy of Homo. Technological civilization inherent predisposition to overcome their dependence on biological and physical components. This feature serves as an enhancer of the evolutionary generating conjugate with the scientific and technological development risk We can assume the existence of an intention of Western mentality to a high priority (positive or negative) of technological modifications micro-social environment and post- Soviet (East Slavic) mentality to modification of macro-social system. (shrink)

The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system of mental (...) and valued options of spiritual culture takes place. The attribute of classical science – ethics neutrality of scientific knowledge becomes an unattainable ideal. One of the trends in the evolution of theoretical epistemology is the study of migration mechanisms of generation of scientific knowledge from the sphere of its own logic and methodology of science in the field of sociology - the consideration of this process, as the resulting system of interactions of social structures and institutions. Ensuing ideas and settings become the dominant worldview of philosophical and technological civilization. -/- . (shrink)